Ngôn Ngữ Của Các Cấu Trúc Rời Rạc
Định nghĩa: Lý thuyết toán học về đếm được biết đến chính thức là phân tích tổ hợp. Môn học nền tảng này cung cấp các công cụ để xác định số cách một hệ thống có thể được cấu hình hoặc một thí nghiệm có thể kết thúc mà không nhất thiết phải liệt kê từng kết quả có thể xảy ra.
At its core, this involves mô hình hóa các ràng buộc. Khi một kỹ sư kiểm soát chất lượng xem xét một mảng truyền thông, họ không thấy kim loại hay tín hiệu; họ nhìn thấy một dãy các chữ số 0 và 1. Việc ánh xạ này cho phép chúng ta áp dụng Nguyên lý Đếm Tổng Quát vào các bài toán thực tế về độ tin cậy.
Ma trận Cấu Hình Hệ Thống
Xét một mảng gồm $n=4$ anten. Nếu ta giả định rằng $k=2$ anten bị lỗi (1) và các anten còn lại hoạt động bình thường (0), phân tích tổ hợp cho phép ta xác định tập con cụ thể của các mẫu hỏng hóc.
Chúng ta đang tìm số cách sắp xếp hai chữ số 1 và hai chữ số 0 trong một vector độ dài 4. Điều này tương đương với việc chọn 2 vị trí cho các lỗi từ 4 ô trống có sẵn: $\binom{4}{2}$.
Logic đệ quy trong đếm
Phân tích tổ hợp thường liên quan đến việc nhận ra rằng lời giải cho một vấn đề lớn phụ thuộc vào lịch sử của chính nó. Đây là mối quan hệ đệ quy. Ví dụ, khi đếm các dãy không có hai mặt ngửa liên tiếp, các đường đi hợp lệ sẽ nhánh dựa trên việc trạng thái hiện tại kết thúc bằng mặt sấp (giải phóng lượt đi tiếp theo) hay mặt ngửa (hạn chế nó).